#include <stdio.h>

int main(void)
{
    FILE *f = fopen("newfile", "a");
    system("date >> newfile");
    fprintf(f, "after system call\n");
    return 0;
}
